ZB 2003 - formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
- Författare
- Didier Bert Finland) International Conference of B and Z Users 2003 : Turku
- (Didier Bert ... et al. (eds.)., Includes index.)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2003 | Tyskland, Berlin | xii, 545 sidor. ill. |